Function type - PDFSEARCH.IO - Document Search Engine

Function type
Results: 893

#	Item
831	88 Original Basic Expression and Function of Endocannabinoid Add to Reading List Source URL: www.odon.uba.ar Language: English - Date: 2013-12-27 08:00:57 Chemistry Endocrine system Anxiety G protein coupled receptors Neurochemistry Cannabinoid receptor type 1 Endocannabinoid system Aldosterone Cannabinoid receptor antagonist Biology Anatomy Cannabinoids
832	Optimizing Dynamically-Dispatched Calls with Run-Time Type Feedback Urs Hölzle Add to Reading List Source URL: www.cs.ucsb.edu Language: English - Date: 1997-05-21 13:38:59 Compiler optimizations Compiler construction Programming language implementation Object-oriented programming Procedural programming languages Inline expansion Objective-C Inline function Factor Software engineering Computing Computer programming
833	Combining Logical Assertions, Inheritance, Relations and Entities Add to Reading List Source URL: www.dcs.gla.ac.uk Language: English - Date: 2002-12-17 12:42:48 Functional languages Subroutines Claire Printf format string Namespace Type system Modula-3 Perl module Main function Software engineering Computing Computer programming
834	Uniform Logical Relations Edwin Westbrook Department of Computer Science Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2012-04-06 13:26:12 Dependently typed programming Logic in computer science Type theory Proof theory Functions and mappings Function Intuitionistic type theory Lambda calculus Xi Mathematics Mathematical logic Logic
835	Intuitionistic Type Theory Per Martin-L¨of Notes by Giovanni Sambin of a series of lectures Add to Reading List Source URL: www.csie.ntu.edu.tw Language: English - Date: 2009-06-20 07:32:17 Logic in computer science Propositional calculus Type theory Proof theory Natural deduction Function Principia Mathematica First-order logic Interpretation Logic Mathematical logic Mathematics
836	Categorical and domain theoretic models of parametric polymorphism Add to Reading List Source URL: www.itu.dk Language: English - Date: 2007-10-19 09:09:07 Programming language theory Polymorphism Parametric polymorphism Parametricity Ad-hoc polymorphism System F ML Type system Function type Software engineering Type theory Computing
837	LNCS[removed]Configurable Software Verification: Concretizing the Convergence of Model Checking and Program Analysis Add to Reading List Source URL: www.sosy-lab.org Language: English - Date: 2013-10-11 06:59:10 Algorithm Data-flow analysis Abstraction Predicate Type system Mathematics Linguistics Function
838	Weak Measurements: A New Type of Quantum Measurement and its Experimental Implications. Add to Reading List Source URL: www.hep.ucl.ac.uk Language: English - Date: 2012-12-20 13:20:01 Quantum potential Wave function Uncertainty principle Probability amplitude Basil Hiley Linear temporal logic Physics Quantum mechanics Schrödinger equation
839	Foreign Interface for PLT Scheme Eli Barzilay Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2013-09-20 11:42:55 Data types Subroutines C++ Primitive types Type theory Pointer C Foreign function interface Libffi Software engineering Computing Computer programming
840	INSTITUTE OF PHYSICS PUBLISHING SEMICONDUCTOR SCIENCE AND TECHNOLOGY Add to Reading List Source URL: rtn.elektronika.lt Language: English - Date: 2003-04-21 19:52:00 Electrodes Materials science Electricity Fermi–Dirac statistics Work function Cathode Anode N-type semiconductor Electron Physics Electromagnetism Condensed matter physics

UPDATE